COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Here is one way of  saying that the volume of a gas sample depends only
C00004 ENDMK
C⊗;
Here is one way of  saying that the volume of a gas sample depends only
on the temperature and pressure.

	∀s1 s2 x.(temp(x,s1)= temp(x,s2) ∧ press(x,s1)=press(x,s2) ⊃
volume(x,s1) = volume(x,s2)

or

∃f.∀s x. volume(x,s) = f(temp(x,s),press(x,s)).

It requires regarding temperature, pressure and volume as functions of
an underlying state.  It seems that such an assumption or model is
present or can be considered to be present in all such dependency
statements.

It would be nice to be able to do a straightforward circumscription
and say that the set A of state functions that the volume depends on
contains just those members it is known to contain, but this requires
choosing from a list of things that it might depend on, because other
functions that it could depend on can easily be constructed.  I suppose,
however, that we could say that the set A(temp,press) of things it
depends on besides the temperature and pressure is being minimized.